Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
81	1 Convergence of Hypervolume-Based Archiving Algorithms Karl Bringmann and Tobias Friedrich Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:48:28 Algorithm Mathematical logic Theoretical computer science NC Mathematics Spectral theory Philosophy of mathematics Logic
82	Users’ manual for the Sollya tool Release 5.0 Sylvain Chevillard Christoph Lauter Add to Reading List Source URL: gforge.inria.fr Language: English Mathematics Arithmetic Computer arithmetic Mathematical analysis Subroutines Theoretical computer science Data types Numerical analysis Rounding Parameter Derivative Interval arithmetic
83	PML : A new proof assistant and deduction system Christophe Raffalli LAMA Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2007-07-02 08:10:34 Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant
84	VOLUME 83, NUMBER 9 PHYSICAL REVIEW LETTERS 30 AUGUST 1999 Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2012-02-22 09:04:07 Quantum mechanics Quantum information science Theoretical computer science Physics Bell state No-communication theorem Quantum entanglement Qubit Communication complexity Quantum information Measurement in quantum mechanics
85	Amoeba Join: Overcoming Structural Fluctuations in XML Data Taro L. Saito Shinichi Morishita Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2007-05-03 17:07:37 Computing Data management Data Query languages B-tree Theoretical computer science Markup languages Functional languages Lowest common ancestor XPath XML tree Amoeba
86	Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method Duygu C ¸ akmak, Halit Erdo˘gan, and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, Istanbul, Turke Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 00:29:12 Mathematics Equations Algorithm Mathematical logic Theoretical computer science Equation solving Abstraction Philosophy of mathematics
87	CSE 181 Project guidelines Add to Reading List Source URL: www.cs.bilkent.edu.tr Language: English - Date: 2012-10-16 07:22:21 Computer programming Mathematics Applied mathematics Theoretical computer science Sorting algorithms Operations research Analysis of algorithms Merge sort Divide and conquer algorithms Algorithm Recursion Time complexity
88	Programm_Qrypt2011_A5.indd Add to Reading List Source URL: www.qcrypt2011.ethz.ch Language: English - Date: 2011-09-07 05:34:37 Quantum cryptography Cryptography Theoretical computer science Quantum mechanics Quantum key distribution Quantum network Quantum computing Noisy-storage model Nicolas Gisin Artur Ekert BB84
89	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions